Nuprl Definition : sys-valid 11,40

Sys(valid) == (Sys|valid-sys-dcdr{i:l}(es;Config;Cmd;Sys)) 
latex



clarification:

sys-valid{i:l}(esConfigCmdSys) == (Sys|valid-sys-dcdr{i:l}(esConfigCmdSys)) 
latex


Definitions(I|p), valid-sys-dcdr{i:l}(es;Config;Cmd;Sys)
FDL editor aliasessys-valid

origin